{`Dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β ↔&"p→G#λ~ε4_ ␈␈␈␈x␈␈␈⎇_→8␈␈␈⎇_; 4!t( 3β∧( 2#d( 1d0HεQ((εC!P⊂Q(_¬¬DT( 0!⊃`∩:↓qλ∧GaPXεyαp`∧πa!(¬8#P8∧πa⊃X∧wD0_βGa⊃x∧w↓Ph
πaα_∧6A1(πλr8πv↓!X¬π`r(5A∩λβπ`r_∂5!α⊂βπ`r⊂⊃4aα_βπ`b⊂εC↓]⊂βI Qxβλ!!0¬4 r(αG`b∧G↓≥β	@Qxβπa∩∧s`b8αG@ax∧	↓pβ	`QxαGAα@∧3 b@απ`QpβK|`β
QpαG@rpβsRHαπ`Qhβ@lXαJ QpαG bhπ2@RPαπ`Ahβ
#`	J QpαGb8∂.αbPαπ`A`β	D+(
@QpαGR(εC↓[⊂
J@AxαπR ¬¬A+εB`BXαπ@QXαHa⊃`∧kA0pαJ@QpαπRλ∧H↓~`¬∧ BXαπ@QXαH!α ∧*A⊃_αJ`ApαπBλβJ↓
H∧¬ B`απ@AXαG`r`βia↓8αAhαF`AxβK@z0βFRXαG AXαG@sλβ) qHαApαε`Apβ
j βε`B`απ@APαG c0β(`aXαKApαε@Ahβ∞j⊂βπBhαπ QPαπcPβ( ahα Ahαε@QXβ∂Zβπ@Bhαπ APαπRpπ@ ZαG@Rhαπ APαε`RX
'`Qxα@Ahαε QPαJ#ipαHBpαπ AHαε`R0⊃g@Rα@Ahαε APαI!Phεg Rλα@Ahαε APα	↓1(¬g B⊂α@AhαεQHαHA!X¬'R⊂α@AhαεAPαλ!∩λ∧gB_α@Q`αεAHαH↓α(∧&`R_α`A`αεAHαπaαH∧&`B α`A`αεA@αG@rhβf@R α`A`αE`A@απ@rxβf@B(α`Q`α¬`A8αG c_β&@B(αA`α¬`A8απ c(β& R(αA`α¬`A8απc8β& B0αK`QXα¬`A0αF`cHβ&R8αAXαE@A0αε`cXβ$a"8αA`α¬@A0αε`ShαcaR@αQXα¬@A0αε@Sxαc!r@αLAXαE A0αε T A11λ∀Aε(
AαP(
↓#⊂( ⊂ XH¬@`RHα AXαE A αε T!A0pHβA¬ (_↓#0 
Aα@ A¬pp∧↓⊂PH∧A¬0 _Aβ0(
↓α@ ↓%!@↓A0@@¬A¬0 _A#0 
↓α@ ↓∧qxA⊂ @εA¬0(_A# (	A"0 A$R8@Aap ⊗↓ε⊂(
Aα@ 	Aαp ∩βA@x@↓b ⊗↓&⊂(
↓"0 	Aα`(⊃αb`X?AB  ⊗Aε (
↓" (	↓α` ⊂B#PH?↓B0 ⊗A&⊂0A"0 	↓α` ∂B$⊂H>AB@ ↔↓ε 0A" (λAαP(∂α∧P@>↓BP ↔↓& 0A"  λAαP ∞B¬⊂@=AB` ↔A& 0↓B⊂(λ↓αP ∞↓eP8=A"p ↔A&00↓B⊂ λ↓"0(
Aep8=↓# _↓&08AB(λ↓α0 
AF00<A#⊂(_↓&08AB λ↓α0 
↓FP0<A#  _↓F0@↓Ap(πAα0 AFp0<↓#0 _AF@@
Aa`(π↓α (↓G⊂0<↓β@ →↓F@H
↓aP(π↓"⊂ ↓G00;A#@ →AFPH	AaP(π↓α⊂ ↓'P(;AβP(→AF0h	↓a@(εAα⊂ A'p(;↓#` ~↓eq εB! 0ε↓" ↓(∧λα]@Axα
 rhβ@d0HββAα¬@T ANP(∂A&P@∀Bb_∧↓A0(πAαP( ⊂`W(αλ C8∧	!X! 0βα`@xα¬ D"A.@(⊂A&pH⊂B"⊂xβC  0¬↓!` 
↓(∧0α≥B_α∞!!X¬
bPHαβ@A α⊂λp(:↓∧0(≥αbPX↔E↓(εAα0(⊗βA` 9A$@ ≡β!Ph~∧`p εAα0 ∀ε↓⊂(9A∧P(≡Hg1αA!@ 	↓$QpβA∞0 ∪↓λ∧∞PλpHα↓!0 	↓∧B⊂αA.0 ∪↓(∧⊂P	@H↓↓!0(λA∧ hεβ @ 9A∧p( ⊂"4)βa0 λ↓$Pα@ (9↓$p( ⊂ T1βA  λ↓βpH∞α ⊂ 9↓¬⊂(∨A(ε(εB Aαπ!∩ε≤@BPαO T4β↓ πA#@@∩αn  ∃↓G00 ~a 8αC@AX∧
↓↔⊂α
`cHβ⊂∞⊂0βA↓` 
↓e@89↓¬@0≠AHπ_β↓@@pαε rpβ\@Bhβ
 d:A`@(ε↓#0→↓N  ↔↓F00 ≥`p αβA@β
gβ`rxβP∂⊂8↓A!0 AF`07αε8⊗Ahπ`β@@@Xα¬@c@β≠↓#λ∧
!∧?β!  
AG 05Bf0@∩Bλλλεα@A(αOVH∧ C ∧H!∀Bαa⊂ 
↓'`(4↓`0(~B#@P "↓⊂Hα∧`T ↓,p8αAεpPαhλ`∧αA⊂β⊂λ03↓@p ≤C!Ph $p8α∧@T!↓,P0∧↓π2_ %P8α∧ T"↓,@0∧AπQp &P0α∧ D#↓00¬↓'q@ 'P(α∧T#↓, 0ε↓λ∧ πP∀0α↓α  ∩F⊂αC D'↓λ
⊂β`PpαP	(0A!`( ∪TQA@0 π↓λ∧Pα_Qα⊂	@  ) `⊂αβ T%↓+p0λ↓(∧PαP∀`0A↓P  ∪ExαD@D%↓λ
@¬B`T&↓+`(	A(∧@αP∃⊂P¬Aλ∧pα↔@A(α⊂	  *a⊂Xα⊂	` .A"P( ⊃@TVB↓⊂( ∪@Uhα¬`D#↓λ
xβB D(↓@(A(∧ αP⊗0∧Aλ¬α↔AHαPλ ( ,`P@α⊂
 -A#⊂0 ⊂dZ↓↓  ∀EXαε`T ↓((αA@T(↓+ (∞↓'`( -`@0α⊂
  -↓β`(≡↓(@αA D)↓  ∂↓G 0 . @(α⊂
  ,A#p0≤↓HPαAD)↓⊂ ⊂AF`0 /P_α⊂
  ,A∧ 0~↓Hhα@`D)↓⊂ ⊃AF 0 /`P⊂α⊂
  ,A∧@8↔↓hλα@ D)↓(∩Ae@8 0A$)↓ ∪B¬@ 1↓∀)↓ ∀B∧@@ 1a∧)↓ ∃α$H 2 t)↓ ⊗α#@H 3t(↓+ ↔αB`P 3`d(↓ _β!@h 4@T(↓ →	λ
_α⊂
 ,↓εB⊂ 4`D(↓ ≠F0  4`T'↓+ ≡βA  5D'↓  ∀@Dj↓λ∧pα⊗D(A(
 αP	@(,↓(¬α⊂~`  ∪EHα⊂
  5@T%↓+⊂  ∀DkAλ∧Pα⊗ D(↓λ
8αP	(,A(∧pαP≠  ∩EPα⊂	`  6 T#↓+   ∪@Dm↓λ∧0α⊗ d&↓(
PαPλ@(,↓h∧`α⊂≠@( ⊂@U8∧⊂	0( 7T!↓*`P ∩@Do↓(∧αU `λα⊂	⊂( 7`SpαU`⊂αP	  8c`β∃P α⊂λp( 8 cPβ∀`P(αPλ`  8`c@β∀@P8α⊂λP( 9c0β∀ `8αPλ0( 9@c β∀ PHαPλ⊂0 9`sβTPPαPλ⊂( : rpβT@`αO`TuB¬ @'A!P(≡A(∞p∧	A∧xαβ@cXβ⊂≥pH⊃α)`(πAG⊂0 <A⊃p∧S@Aλβ
`dzBb`X&A" 0~AH∂@πβ↓dhα¬c_β⊂∨2 &↓"P8↔Ah∂p⊂∪A8βK tλ@c∧`αε↓αH∧P ⊂@π∩`QP∧	!DXαπ↓∩λ∧@ DXαπA⊃h∧@`DXαλ↓10¬↓ DXαλA``εA`DPαI∧0HαR@B8∂CDPα
cxα∩@Cπ¬DPα⊂
  %↓λ¬⊂α∩@D)↓	   ∀@DPα⊂
  %↓λ¬⊂α∩@D)↓	   ∀@DPαP
⊂ %Aλ¬αR`D(↓	0  ∀DXα⊂
 %A(∧pαSD'↓	@  ∪@D`αP	@(&Aλ∧`α∪ T%A	`  ∩@TpαP	⊂ 'Aλ∧@αS`T#A
  ⊃@UαPλP (A(∧_αT d A* ( ⊂ U_αO`e⊂βO!¬⊂∧∞a∃λ¬∞!5λα c8β@Eα@@c(β`Uα↓c_β↓ DxαA rxβA@Txα↓`rhβBDpαB↓αH∧α Tpααaα(∧βDhαC↓∩λ∧C Thαβa⊃`¬∧Dhα∧!!0¬D@D`αDaPhεET`α¬D18α∪A@∂ε@D`αεc↓hα∪BπH DXαP
(%Aλ¬⊂α∩`D)↓	0  ∀@DXα⊂
  %Aλ¬⊂α∩`D)↓	0  ∀@DXα⊂
  %Aλ¬⊂α∩`D)↓	0  ∀@DXα⊂
  %A(¬αSD(↓	@  ∀D`α⊂
 &↓(∧pαS D'↓	P  ∪@ThαP	@8'↓λ∧`∧∪@D&α)`( ∩A4xα⊂	  ↓↓Ip( ∩P_β∀D$↓P((↓(∧0αA@Uλα⊂λ` ∧↓*⊂( ⊃P@β∀@T!↓! ()↓(∧⊂αB`U_αPλ(εA
@(∨↓!`(*↓G@0πA
P0≥↓B(+↓G0	↓
p0≠↓B0(,↓F@0
A⊂8_↓b`(-↓e`8↓0@∃αβ⊂ -BD`@
A+0`⊃α#P -A⊂H∂α#p -A0Xαd⊂ -↓ PpεβD0 -↓↓α ∩A+  ¬λ¬ -↓↓a@⊗↓  	CF⊂ -↓λ¬⊂α⊗@D)↓   ∀@EPα⊂
  -↓λ¬⊂β⊗@D)α   ∀A%Pα⊂
 X-↓(¬α@!¬Xα⊂
 α↓k0  ∀@(βV`D(↓p0-Aλ¬ααeXαP	`(∧AK@  ∪@@Xβ↔D'↓↓@0.↓(∧`αC Uhα⊂	@ πA+P( ∩@QαW@D%↓α⊂0/↓(∧@αD@Uxα⊂	 
↓+p( ⊃@Q(α_D#↓α`(0↓(∧ αE`FλαPλ (↓,⊂0 ⊂aHα_@T ↓# (1A'`(∞↓@(≡↓#P(2↓G 0∂↓P0≤↓Cp 3↓F`0⊂↓,p0~↓D  4↓F 0⊃A
⊂8↔↓d@ 5↓e@8∩A
0@∀α∧`06B∧@@∀B
`H⊂α% P8α#@H⊗β∞ PαE`p:β!@h_↓0H:	ε  αB.B⊂~↓p@:↓1@≠A↓⊂8:↓↓p≡↓↓08:↓λ¬⊂αβw α⊂
  εAn@  ∀@@xβ≥T(↓"0:Aλ¬α∧@g(α⊂
 	ANP  ∀A β≥ T'↓"P(;↓λ∧pα¬`W0α⊂	` ↓.`( ∪Q@α]`D&↓β (;Aλ∧`αε`G8αP	 (
A/  ∩@Ahα≡T$↓#P(<Aλ∧@απ`GHαPλ`(∂A/   ⊃@Bλα≡@T"↓$⊂(=A(∧⊂αH`GXαPλ (⊃A∂@( ⊂R α← SpαI@Ghβ∂b0β←@cPβ	aGxβ∞b@π`c0β
"_λβ
bXα!X⊂βLr`α↓A(_βK@rhαα!_ βKrpααa_0βJsαβ!λ8∧	↓βλαβaλ@∧H↓∪⊂α∧ xP∧G↓∪ α∧@x`¬¬A#0α¬hpεC↓S@α¬ i⊃∞@A0β$Cc`α¬`i(∂@Q@β%b∀!Aβ (L↓λ∧xαε`Y@α⊂	p ∞↓3  ∪`A`β&T&A#P(LAλ∧hαπ`YHα⊂	P ⊂↓∪⊂( ∩`Rαf@D%A∧  M↓λ∧PαH@YPαP	⊂ ∩↓∪0  ∩R αf`T#A∧` N↓λ∧0αI@Y`αPλP ∀↓∪P  ⊃R@¬' T!↓%⊂xO↓(∧λαJB→pαPλ(∃Dsp(∨↓%@ αβ4(≡↓E@ ∧BT0≥↓EP(¬B4⊂0≤↓Ep εB4 0≠↓F πB∀00~↓F⊂ λAt@0_Af  	AtP8↔↓f0 
↓t`8⊗↓f@ 
Atp@∀↓f` AU⊂@∩αεp ↓U H⊂α' AU@P
B'  
↓U`X
BG@ 
A6hεβ'P(∞↓6"⊂∨Aβ`(ZG(∧λαπ@k@Pλ@ ∂A7@p ∩ Bαo`T'↓$⊂ `↓λ∧pαλ@\α⊂	` ⊃A_( ∪R_αp D&↓∧P `A(∧PαI \⊂α⊂	  ∪A_ ( ∩R8αp`D$↓¬⊂ aA(∧0αJ L α⊂λ` ∃↓8@( ⊃RXα1 T!↓%@ bAH∧βL0αPλ(⊗CXp(∨↓%a_d↓'@(_¬90≥↓F↓8dAG0_A↓he↓F`0→↓↓PPeAF@0→AαHf↓F 0~↓α HfAe`8~Aα@@g↓e@8≠↓α`8gB¬@≠Aβ8hB∧@@≤Aβ⊂8iα$H≥↓β 8jα#@H≡↓β@0kαB`P≡A#P0lβ!@h∨Aβp0mλH∧λαλm`∂⊂λ0 ⊂A[q@ ⊃@B⊂αy↓d%↓$0(u↓λ∧pα	 ↑Pα⊂	` ∩A= ( ∪R0αz`D&↓¬ uA(∧PαJ↑`α⊂	  ∃↓≥@( ∩RPα{ D$↓¬@ vA(∧0αK↑pα⊂λ` ↔↓≥`( ⊃RpαQ(
0αPλ (_↓λTS↓H∧λαLD( )`T ↓&⊂("P∃(∨↓&0 "P∃⊂(≡↓F0 "P∃⊂0≥↓F@ "P∃ 0≤↓FP "P∃00≠↓F`("P∃@0~↓G "P∃P8_↓g⊂ "P∃`8↔↓g  "P∃p8⊗↓g0 "P⊗⊂8∀↓gP "P⊗ @∩απ` "P⊗0H⊂α'p "P⊗PH∞α(∧λλQ(8¬¬A$!E(T\C!@h ⊃#∧( .d$#FhT↑GH∧Hαβ↓T( 0β∧%A"X"P_Px ∪`A ¬⊃(
α⊂	p B(Th↓λ∧xαε!∧( 4D'Aβ0@"P~( ∪ QhβQ(
λα⊂	P ∂AhThAλ∧hαλ d( 4 T%A$ 0"P~   ∩`B β⊃(
⊂αP	⊂(∩AHTiAλ∧Hα	`d( 4`T#A%("P~@  ⊃`BPαQ(
 αPλP(∃A(TjAλ∧(αT( 5 T!A%P("P~`( ⊂ Rxα⊃(
0αPλ⊂(↔A(TkA'p(_AλTl↓'P(→↓(Tl↓G00→AλTlAG⊂0~↓(Tm↓Fp0≠↓λTmAFP0≠AλTn↓F00≤↓(TnAep8≥↓λTo↓eP8≥AλToAe08≡↓(TpAdp8∨AλTqα∧0@ ⊂D( 8a⊃x∧Pλ⊂ "P≤PH
B(∧_αQ(∞8¬¬!$#↓λTtC!0h ∩D( :d∀%↓λTvG(∧`α⊃(∂P	p "P≡Q ∀ D( @ ⊂  ∀ D( @ ⊂  ∀ D( @ ⊂  ∀ D( @ ⊂  ∀ D( @ ⊂  ∀ D( @ ⊂  ∀ D( @ ⊂  ∀!$( @ ⊂( ∪b∧( @    ∪b4( @    ∪bT( @    ∪`@0εQ(⊂λ↓↓λ∧xααa$( @  ( ∪ Pp∧Q(⊂λ↓Aλ∧hα∧!∀( @ 0  ∪ A_∧⊃(⊂λ↓A(∧XαE t( @ @  ∩`A@βQ(⊂λα↓(∧HαF t( @ P  ∩ AXβQ(⊂λαA(∧8αG d( @ `  ⊃`Axβ⊃(⊂λβ↓(∧(αHd( @ p  ⊃ B⊂β⊃(⊂λβA(∧_αH`T( @!( ⊂ R(αQ(⊂λ∧↓(∧λαI@T( @!⊂(∨A$p0"P ⊂PαO RHαQ(⊂λ¬↓G00∃↓(TλB`cHβD( @!@0≠AEP("P ⊂hβ
 bxα⊃(⊂λπ↓F00_↓(TλC`rxβL@D( @"8⊗Af0("P ⊃λ∧
!β(α⊃(⊂λ	B∧P@≠A(TλE↓∩λ∧N D( @"`H∞B'0 "P ⊃@¬¬a#hαQ(⊂λ
β!Ph ⊂D( @#B_ ⊂@D( @#ax ⊃D( @$⊃H ⊃`D( @$`x ∪T( @%@  ∀@D( @%@  ∀@D( @%@  ∀@D( @%@  ∀@D( @%@  ∀@D( @%@  ∀@D( @%@  ∀@D( @%@  ∀@D( @%@  ∀@D( @%@  ∀@D( @%@  ∀@D( @%@  ∀@D( @%@( ∀T( @%P  ∀D( @%P  ∀D( @%P  ∀D( @%P  ∀D( @%P( ∪@t( @%`  ∪A$( @%`  ∪AD( @%`( ∪↓t( @%p  ∪@_¬⊃(⊂λ↔A(∧PαAA∀( @&  ∩@@H∧Q(⊂λ_↓(∧@αBa∧( @&⊂  ∩@p∧⊃(⊂λ_A(∧0αDt( @&   ⊃@A⊂βQ(⊂λ→↓(∧ αEd( @&0( ⊂@Q0β⊃(⊂λ→AH∧β¬`d( @&@( ⊂QHβ⊃(⊂λ~A'`(
AHTλM@S`αG T( @&`0≥↓C`("P ∪8β∞bαQ(⊂λ≤↓F`0⊂AHTλN c βλ`T( @' 0→↓DP("P ∪XβK@r8α⊃(⊂λ≡↓e@8∀↓(TλO!α@∧
@D( @'p@∩α¬@("P ∀∧H↓∩pα⊃(⊂λ!α#@H_↓(TλQ↓!0¬`D( @(`hεβ&P("P ∀@⊃∞D( @)!p≥↓λTλS#βhαQ(⊂λ'D(∧_α⊃(⊂λ'Aλ¬α⊃(⊂λ'Aλ¬α⊃(⊂λ'Aλ¬α⊃(⊂λ'↓(¬αQ(⊂λ'↓λ¬⊂α⊃(⊂λ'↓λ¬⊂α⊃(⊂λ'↓λ¬⊂α⊃(⊂λ'↓λ¬⊂α⊃(⊂λ'↓λ¬⊂α⊃(⊂λ'↓λ¬⊂α⊃(⊂λ'↓λ¬⊂α⊃(⊂λ'↓λ¬⊂α⊃(⊂λ'↓λ¬⊂α⊃(⊂λ'↓λ¬⊂α⊃(⊂λ'↓λ¬⊂α⊃(⊂λ'↓λ¬⊂α⊃(⊂λ'↓(¬αQ(⊂λ'Aλ¬α⊃(⊂λ'Aλ¬α⊃(⊂λ'Aλ¬α⊃(⊂λ'A(∧pαQ(⊂λ(↓λ∧pα⊃(⊂λ(↓λ∧pα⊃(⊂λ(↓(∧`αQ(⊂λ(Aλ∧`α⊃(⊂λ(Aλ∧`α⊃(⊂λ(A(∧PαQ(⊂λ)↓λ∧Pα⊃(⊂λ)↓(∧@αQ(⊂λ)Aλ∧@βQ(⊂λ)A(∧0¬⊃(⊂λ*↓λ∧0ε⊃(⊂λ*↓(∧ α@!∧( @*P( ⊂@P ∧⊃(⊂λ*A(∧λβ↓@t( @*`( ⊂P@βQ(⊂λ+A'`(¬AHTλU`c`αC d( @+0≥↓A`0"P ∃Hβ∞aβ⊃(⊂λ-↓F`0	↓HTλV`c β¬T( @+@8_↓b`("P ∃hβK@q@αQ(⊂λ/↓e@8A(TλXr@βGT( @,⊂@∩αβ` "P ⊗⊂∧H↓⊃xαQ(⊂λ2α#0P⊃↓λTλYA!(¬IT( @-hεβ$p "P ⊗8∩J T( @,p G%P "P ⊗8α↓αsα⊃(⊂λ3↓!⊂p~↓(TλY@D&AλTλY@D&AλTλY T&A(TλY D'AλTλY D'AλTλY D'AλTλYT'A(TλYD(AλTλYD(AλTλYD(AλTλYD(AλTλYD(AλTλYD(AλTλYD(AλTλYD(AλTλYD(AλTλYD(AλTλYD(AλTλYD(AλTλYD(AλTλYT'A(TλY D'AλTλY D'AλTλY D'AλTλY T'↓λTλY@D&A(TλY@D&AλTλY@T&↓λTλY`D%A(TλY`D%AλTλY`T$A(TλZD$AλTλZT#A(TλZ D#AλTλZ T"A(TλZ@D"AλTλZ@T!A(TλZ`T A(TλZ`T A(Tλ[SxαQ(⊂λ6A'P("P ⊗hβ∞`d( @-`0≤BλTλ[`c8¬⊃(⊂λ8↓FP`"P ↔λβ``⊂β⊃(⊂λ9↓ep8α↓HTλ\`rhβA@d( @.0H∀B↓0"P ↔_¬I!XαQ(⊂λ9βD⊂HεA(Tλ\ P_¬π↓⊃αQ(⊂λ8A PXαB ("P ↔αB↓PhεE T( @. ¬Hc "P ⊗xαCCaPαQ(⊂λ7Aα!@∂↓λTλ[@Q0πH`T( @-`  ∩@D( @-P( ∩@T( @-P  ∪D( @-P  ∪D( @-@( ∪T( @-@  ∪@D( @-@  ∪@D( @-0( ∪@T( @-0  ∀D( @-0  ∀D( @-0  ∀D( @- ( ∀T( @-   ∀@D( @-   ∀@D( @-   ∀@D( @-   ∀@D( @-   ∀@D( @-   ∀@D( @-   ∀@D( @-   ∀@D( @-   ∀@D( @-   ∀@D( @-   ∀@D( @-   ∀@D( @- ( ∀T( @-0  ∀D( @-0  ∀D( @-0  ∀D( @-0  ∀D( @-0( ∪@T( @-@  ∪@D( @-@  ∪@D( @-@( ∪T( @-P  ∪D( @-P( ∩@T( @-`  ∩@D( @-`( ∩T( @-p  ∩D( @-p( ⊃@T( @-p( ⊃@D( @-`8 ⊃T( @-PH ⊂@T( @-@X ⊂d( @-00A(∧αQ(⊂λ5A 0(∨↓(TλZ@P(αOT( @-⊂(β↓G 0"P ⊗HαA`c@β⊃(⊂λ4↓!⊂0≠↓HTλZ@Xβ
d( @,p(ε↓F 0"P ⊗8αβ@rp∧⊃(⊂λ3↓!p8⊗αHTλY@Aλ∧
↓D( @,P(	B∧@@↓↓(TλY A(∧H↓⊂ α⊃(⊂λ2AαpH∞α ` "P ⊗ αF!!0¬αT( @,@ ∞β!@h¬AλTλYAp⊃β D( @,0(⊂πAp("P ⊗_α	β↓_α⊃(⊂λ1A¬⊂p↓λTλX`D'AλTλX@T'A(TλX@D(AλTλX@D(AλTλX@D(AλTλX@D(AλTλX@D(AλTλX@D(AλTλX@D(AλTλX@D(AλTλX@D(AλTλX@D(AλTλX@D(AλTλX@D(AλTλX@D(AλTλX@T'A(TλX@T'AλTλXt'AλTλWa∧'AλTλWA$'↓λTλW `λα⊂	P("P ∃`β@D&A
pp @$p0↓A(∧`α~C∧λH `(α⊂	0(3GH⊂λ∞A@`  ∩`F(⊃⊂ ⊃XαA`T$A,0hεβ(⊂λ↓!⊂  ∩ F묬A$λE PPαPλp(/B#@H @"0(¬Aλ∧8α↔!∩∧P ⊃αCT"A+@@∩αλ⊂λπA↓`  ⊃ EXβJtλC PpαPλ0(,Ae@8 @!0 λ↓(∧λαVrpβP ⊂HαDT A*p8_↓h⊂λ∧↓α (∨A*`0~↓H⊂λβ↓"0(≡A*P0≠↓H⊂λαAα@0≥AJ@0≤↓H⊂λα↓αP0≤AJ00≥↓H⊂λ↓↓"`0≠AJ0(≡↓(⊂λ↓↓β0~AJ (∨↓(⊂λAβ⊂0→AJ⊂( ⊂T␈A# 8↔Aj0 ⊂d␈↓β@8⊗Aj( ⊂@T␈↓βP@∀B	p( ⊃T}Aβp@∩B	p  ⊃@D}↓$H⊂BI`( ⊃@T⎇A∧0P∞β	`  ∩D⎇A∧PXα@⊂ &A(∧@αP∨  ∪C!Ph↓A	P  ∩@D⎇↓¬∩_αA	@( ∩@T{AEApβA	@  ∪DzB¬q@¬↓	0(~CA⊂( <A#_πC`DXα#(α⊂≡` ∀ DXαC`⊂α⊂≥p@Aλ¬λα∩@R`∪P≥@@↓Aλ¬λα∩@BXεCα∧uA`P  ∀ DPα
!!0¬P≥ 8β↓λ¬λα∩@B8∧G↓∀t↓A  ∀ DPα	!∩∧P≤P0∧A(∧xαR R ∧	↓∧qAA0  ∪`DHαλaα@∧⊂≤0ε↓λ∧xα∩ B⊂βKto↓AP  ∪`DHαλ rpβP≠P(π↓(∧hαR Bβ@dmA"  ∪ DHαπ`c β⊂≠⊂(λAλ∧hα∩ Apβ
@dl↓"⊂( ∩`THαπ c@β⊂~`(	Aλ∧Xα∩ A`β∞@djAα@  ∩`DHαπS`αP~@(
↓(∧HαR AXαO@TiAα`  ∩ DHαε@T ↓(
λαE@T#A)⊂ AH∧β⊂~ ↓λ∧8α∩ Q@αPλ ( 3`Q@αPλP(%↓αp( ⊃Tg↓β   ⊃ DPα¬`D#↓λpαε@T!A)  ↓&ppA(`αF`T A)  ↓ε1H 3A`αPλ⊂(%↓"@(_πH8βG SxαR`A αd$aαC`(≡A)0 	A%Phεβ(hεπ`cXβ∩`Q⊂α↓!0¬⊂↔⊂p⊂↓G⊂0&↓α⊂(∃α#@H -!0λαλ c8β∪Qα
!∩∧P⊗⊂P↓A$ 0~AIP λ↓¬@∩αλ
p∧A@B β`dhαC@R0∧
↓∧UB↓ ∩Aep8'↓↓` ∪↓e@8 *↓Pα	@rhβS@Phα	 rpβP∀`8ε↓∧p@∀B	p εA∧@0→↓H
 βC BH∧	!∧xαCB_β
dQ↓Ap ∃α$⊂H(↓! (⊃↓F`0 (aα↓!X¬∀`Hαλ@c@β⊂∪`0λA¬`X
Bj⊂(∧A∧⊂0≥↓H	`β∧@CεC!U⊂αBBλαOTMAB0 →	
0(βA∧(∨↓(	PαEC(⊂T``0απ`S8πP∩p(
Aπ↓8↓A
@0αAβ`0→Fλ	λαE@C`πA@U(β↓ApαL#dG↓"`( ∀E0β`AhαKd4EA#  ∀E8β@ AhαAPhεP⊂hAλ¬α⊗↓1`αK↓10¬⊂∂⊃⊂Aλ¬α⊗!!`α
a!`∧P∞A 
↓(∧pαVa⊃PαJ!∩λ∧P∞↓0
Aλ∧pα↔↓↓Pα
!α(∧⊂
Phβ↓β@  ∪@EhβF R8∧
!∧4BA (∞↓(∧`αW`QHα	`rhβP`HεAβ`  ∪FαεR0βK`t1B!`(∂↓λ∧XαXQ8α	@c_λ⊂
p@λ↓βp( ∩@Fλα¬`B(β"t(Bα  ⊂↓λ∧HαX A0αIbx∞P	P8	A$( ∩FλαE B β$4$Ab@ ⊃↓λ∧8αX@A(αλ`b`εC!Sπαa0αλ@T#↓ (
↓∧0(∃BbPX∀F 0A∧0  ⊃ V_α¬B⊂αJA!X¬↓!q⊃εB_αPλ0(1A" (⊂A%⊂H⊂Ga"_↓$@( ⊂ f α∧@B⊂αJ↓α(⊂↓!P`¬F B(αPλ⊂(2↓"⊂ ⊂A$p@∪K"`(
↓∧`(∨A,P λA∧⊂ ∪AdphεDC(
A∧p(≡A,P(λ↓∧(∪↓d`Pββ⊂(∞↓∧p0≥AL`(πA∧ ∪↓D`H
Bβ 0∞↓¬0≤AL`0π↓βp(∩ADPH∞↓c@(∞A¬⊂0≠ALp(π↓βp ∩ADP@∞↓cP(∂↓¬ 0~AM(εAβ`(∩↓D@@∞Ac` ∂A¬00→AM⊂(ε↓β` ∩↓D@8∂↓c`(∂A¬@8↔Am⊂0¬Aβ` ∩↓$@8∂↓D ⊂↓¬P8⊗Am 0¬↓βP(⊃A$@0∂AD(⊂↓¬`@∀B
00∧AβP ⊃A$@0∂AD⊂ ⊂Aε@∩B
@0∧↓#@ ⊃A$00∂AD⊂(⊂Aε⊂H⊂B-P0∧↓β0(⊃↓$00⊂↓$  ⊃↓& P∞α-`8β↓β0 ⊃A∧00⊂↓$ (⊃Aε@XαMp8αAβ0 ⊃↓$0(⊂↓$0 ∩↓ε`hεC.@↓Aβ0 ⊃↓∧0(⊂↓D0 ∩↓πα_9α⊂(A$⊂(⊃↓$⊂(⊃A$@(≥πN0hA∧  ⊃A$(∩↓∧` ≡F∞PXA∧⊂(⊃↓$⊂ ∩A∧`  ⊂"π8¬εBλαλ`BλαI B0αP	0(<Bβ ⊂A∧ (⊂A∧` ∪Aλ∧Xα≡`q8αλR⊂αλ R(αI`D%A∂P(A∧ ⊃↓$⊂ ∪↓¬( ∩ WpαE@Bαλ@BλαI@BHα⊂	⊂ ?Aα` ∂A$⊂(⊂A∧p ∀A(∧8α←`Q(απ`B⊂αλ R8α
@D#A⊂ 
Aβp ⊃↓∧⊂ ∀↓¬ ( ⊃ XαEAxαλ Rλα
BXα⊂λP @A"0 ∂↓$⊂ ⊂A% ∃A(∧_α` Q_απ@B⊂αλ BHαT A0 (	↓#P ⊂A$⊂ ∀A¬@( ⊂ X_αD@Ahαλ B⊂α
 BhαO`X_β∧ Ahαλ B⊂α
 BpαO X β∧Ahαλ BλαJ Bpβ∞`h(ββ`Q`αλRλα
@Rpβ∞ h0ββ`A`αλB⊂α
`Bxβ
`h8ββ@A`αλB⊂α
`Cβ
 h@βCQXαλB⊂α
`Cλβ`hHβCAXαλB⊂α
`SλβK`xPβB`AXαλB⊂αC⊂βK x`βB QPαλB⊂αC_∧
!λh∧αAPαλB⊂αS ∧	!λp∧A@QHαG`B⊂α C(∧H!→∧A APαπ`B⊂α C8¬εa)⊂¬@QHαπ`B⊂α S@¬E!9 πF Axαλ@Bpα∞APhεeAa@απ`B⊂αK SX⊃f↓Q8αG@B_α@Cp∞fa!@απ@R⊂α@T ¬t0Aβp ⊃↓¬p  ⊃↓z⊂αE@Qpαλ@BxαPλ0(Q↓B` ∂↓∧ (↔A(∧λβ(`a(αG B_α`T A4@0
AβP(⊃↓ε(∨A4P0
↓#P ⊃↓&(≡A4`0
↓βP ⊃Aε0≥ATp8	↓#@(⊃↓&0≤AU8	↓βP ⊃Aε⊂0≠AU⊂@λ↓#@(⊃↓&⊂0~AU0@πA#@ ⊃Aε 0→AU@HεA#@(⊃↓& 8↔Au`P¬A#@ ⊃Aε08⊗AvX∧A#0(⊃↓&0@∀B⊗ hαAC0 ⊃A&@@∩B⊗A8
↓$ 0~α$⊂H[E# (⊃↓&`P∞α7!_A$0(≠Bb`P←∧β⊂(⊃A'hεC9⊂8↓$ 0≤Hy 8AD 0≤λ90@↓D 0≠↓@⊃@fBαP0⊃↓F@0ββy`H
↓D 0_AzH	AD 8↔↓z PλAd⊂8⊗↓z@hεAd⊂@∀↓zbλ⊂B∧@@lλ$H⊂α;2⊂α#@Hpβ`PH∞βB`P"P∃PP¬A@h"P∃phεC "⊂"P⊗∩_βπHTYGAA@"P⊗a@
βHT]ChD_(␈␈␈␈xαλ68␈␈␈␈p⊗P ≥∧∧λhd_→P _p≠kλ∧λ @/t#)h∧` @.4)(CA@α@#DλZ∧⊃λαBβipλ@PP⊂ ∃p
π Q_&b"PαDαTλU"r0αF"Y8λLQ(	P ∀h
K Qp	e↓s(βε"$λQ"3_αHb→λπ∞@Qpλ⊂ ∪p	∞ R8λ#aSpαH"∧λMB∪xαJAx`ε⊂λ0(∩βh⊂λ↔D(∧_αKAhPε⊂λP(∀βH⊂λ∀Dλ∧@αL↓X@πPλP(∃βH⊂λ⊃Ch∧hαLaH(¬@`T"A%P` @#`p ∀ S0ε a 0αPλP0↔Cλ⊂λ∧H¬λαN↓8λ¬α T"A& ` @" hα↓λ¬⊂αN!H∧CT"A&@X @!PhβA(¬λαO↓7p∧β`T#↓&P` @ ph¬A(¬λαOA'`∧∧@T"A'X @  hπ↓(¬⊂αOA7P∧ED#↓' X ?!A⊂αP
⊂(∨C∂⊂@↓(∧0αNa4|βα`( ∀ Sxε]a↓HαPλP0≡BH∂_εε T)↓'`(B.P@
A(∧0αOa$wBcP( ∀ Sxα@A↔ ∧π T#↓(∧λ∧P≥ `⊂↓λ¬⊂αO`P_∧\AααPλ`( ⊂A∀sαd0( ∀@SpαA!↔λβH@T#↓(∧ ¬⊂≤⊂P∪A(¬λαO`P0∧≤r αPλ`( ⊃!$nαe⊂( ∀@Sxαα↓εpβI`D#A(∧0¬⊂≠P⊗A(¬⊂αO@PH∧≠ r@αPλ`0 ⊃a$jαF  ∀@SxαB!ε`βJ@T#↓(∧P∧⊂~⊂P→↓(¬⊂αO@PX∧~`b`αPλp( ∩a∧fαF`( ∀@SpαC↓εHβK@T#A(∧`∧⊂→P≤↓(¬⊂αO`P`∧~sαPλ`( ∪!∀bαG0( ∀@SpαCAε8βL T#A(∧p∧P_P∨↓(¬⊂αO@PxβY@c αPλp( ∪A$↑α(∧λαP
 (∨Aα82AF`  ⊃`d'αHH∧Pλ@( ∀@SpαD v β
`T#A(∧pε⊂⊗PH ⊃`D)A'`(λAl00≤A(∧8αP	` Bλλ∧P	⊂( ∀@SpαD@v⊂β∞@T$↓(∧hα@!∀VB(∧`αP
 (∨↓"080AG@( ⊃`T'↓0@ *A∀'↓(¬_αO@Q_βXcpαPλp( ∪ P ∧⊂∀`H ∀ T)↓'`(
↓kp0∨A(∧@αP	P βαλ
⊂∧P
@( ∀@SpαE epβ⊂λ⊂( ⊃`d&↓ `@ 'a∀+↓(¬_αO@Q(β↔ d!Aλ∧@αP	P ∧αλ	X¬⊂( ∀@SpαE@u`βPλ0( ∩T&↓!⊂8 &↓D,Aλ¬_αO@Q0βWt"↓(∧@αP	@ ¬αλ	(∧ T,↓(¬_αO@A8βVa∀!A(∧@αP	@(¬Ah	⊂∧↓T,↓(¬⊂αO@Q@β⊗@PλαPλ0( ∩T&↓↓@@ #A0αP( ∀`SpαFeHβ T"↓(∧@αP	0(εAhλX∧BT,↓(¬_αO QHβ⊗ P_αPλ0( ∩d%A↓`@ !a⊂Xα⊂⊂( ∀@SpαF e@αA D"↓(∧@αP	0(πAhλ(∧β T,↓(¬_αO@QHβ∃`P0αPλ@  ∩ T%Aα@  !↓αP( ∀`ShαF@e8αA`T!A(∧HαP	 (λAhπp∧∧@T,Aλ¬_αO@QPβ∃@P@αPλ@( ∩T%Aα @ ≡A⊃ αP( ∀`Spαε`e0αα@T!A(∧HαP	 (	Ahπ@∧¬`D,A(¬_αO QXβ∃ PXα⊂λ@( ∩ T%↓α@@ ≥↓↓HαP( ∀`SpαF`e αCT"↓(∧@β⊂	⊂(
Ahπλ∧πT,↓(¬_αO Q`β∃PhαPλ0( ∩ T%↓α`8 ≠a↓hαP⊂( ∀`ShαGU_αC@T"↓(∧HαP	⊂(AhεX∧λT,↓(¬_αO@Q`αT`AαPλ@  ∩@T$Aβ8 ~↓α_α⊂⊂( ∀`ShαG U⊂αD D"↓(∧HαP	⊂(αλε(∧	T,Aλ¬ αO Q`β∀@A⊂αPλ@( ∩ T$Aβ 8 _Aα8αP( ∀`SpαGeλαD`T!A(∧PαP	(
↓h¬x∧
 T,A(¬_αO QhαT A αPλ@( ∩ d$↓#08 ↔↓αXαP( ∃ShαGeαE T"↓(∧HαP	(∞↓h¬H∧@D,A(¬_αO@Ahβ∀A8α⊂λ@( ∩@T$↓#@8 ∃AβαP⊂( ∀`ShαGuα¬`T"↓(∧PαP	 ∂↓H¬ ∧@T,↓(¬ αO Q`β∪`Q@αPλ@  ∩@T$↓#`8 ∀↓β αP⊂( ∀`ShαG dxαε T"↓(∧PαP	 ∂Ah∧pβM`T,Aλ¬ αO Q`βS@QPαPλ@( ∩@T#A#p8 ∩aβHα⊂⊂( ∃ShαGdpαπD"↓(∧Pβ⊂λp ⊂Ah∧@βN`T,A(¬_αO Q`βS@A`αPλ@( ∩@T#A$⊂8 ⊃!βhαP( ∃ShαGthαG T"↓(∧PαPλp ⊃↓h∧⊂∧∂`T,A(¬ αO Ahβ∪ ApαPλ@( ∩`T#↓$00 ⊂↓∧ A(¬HαP
0(≡A#@8&Aβp( ⊃T%↓(∧8α	s`∧⊂λ@  ⊗ T*↓'P(∞↓I@(⊂↓λ∧(αP	 ( ⊃@R βN@t#↓(¬HαP
@(≡↓#P0&↓∧⊂( ⊃T%A(∧0α	 s8∧⊂	  ⊗@D*↓'P(∞↓i@ ⊃↓(∧ αP	 0 ⊃ R0β
 t%↓(¬HαP
@(≡A#@0&↓∧ ( ⊃ D%A(∧0α	`c⊂∧⊂	@( ⊗ T*↓'@(∞↓i0(⊃A(∧ αP	0( ⊃ R8βK`t'↓(¬HαP
@(≡A#@0%A∧P  ⊃ T%A(∧(α
r`∧⊂
( ⊗ T*↓'P(∞↓I0 ∩A(∧ αP	0( ⊃ R@βJ@t)Aλ¬PαP
@(≡↓#@0%A∧`  ⊃ T%A(∧(α
@b8∧⊂
@( ⊗ T*↓'P(∞↓I0 ∪↓(∧(αP	0( ⊃RPβ	 t+A(¬HαP
@(≡Aβ@0%A∧p( ⊃T%AH∧ α
`rλ∧⊂( ⊗@D*A'@(∞↓I (∪A(∧(αP	0( ⊃RXβGa∀,A(¬HαP
@(≡A#@(%↓¬⊂( ⊃ D&↓(∧ αqh¬⊂   ⊗@T*↓'@(∞↓I  ∃↓λ∧(αP	@( ⊂`Rhβε@pλαP⊂( ⊗ T*A'@(∞↓)  ∃↓(∧(αP	0( ⊃Bpβεp_α⊂ ( ⊗ T*↓'P(
AI  ∃A(∧ αP	@( ⊂`Rpβ¬! αP⊂( ⊗@D*A'@(∞↓)  ∃A(∧(αP	@( ⊂`Bxβ∧`p8α⊂ ( ⊗ T*A'@(∞↓)  ⊗↓(∧(αP	00 ⊂@RxβCa@αP   ⊗@T*↓'P ∞↓)  ⊗Aλ∧(αP	@( ⊂`RxβC pXαP⊂( ⊗ T*A'@(∞↓)  ⊗A(∧(αP	@( ⊂@SβBA`αP ( ⊗ T*A'@(
A)  ↔↓(∧(α⊂	P( ⊂@SλβαpxαP⊂( ⊗@T*↓'@(∞↓)  ↔↓(∧(αP	@(βεd  →↓@`8λAλ¬PαP⊂( ∃ S`αF`dHαK`T"A(∧`↔ε S⊂β`q_αP   ⊗@T*A'@(
A)⊂ _Aλ∧(αPλcX	Aε00AbP  ⊗@T-↓λ¬(αOQXβ∩ SαPλP( ⊂λ∧(π↓&0`↓(¬PαP⊂( ∃ S`αF@dHβT"A'1PFa  ~α#⊂( ⊗ T-↓(¬(αOQPβ∩ cαPλP(≠E%10β↓&@8
↓(¬PαP⊂( ∃ S`αF@tHβLT"A&!⊂≤D`0 ~↓c0( ⊗@D-↓(¬(αOQHβR sλα⊂λ` ↔Dλ∧_
qXα⊂ ( ⊗@T*A'@ 
↓i⊂@_↓(∧(αJat&∧&@HA(¬Pα⊂ ( ∃ S`αF tH∧LT"A$pp ∃↓s⊂¬ε D-↓(¬PαP
P(≡↓#@$B&( ⊃ R εP@p_αC( ⊗@T-↓λ¬0αN`Q@∧R @λαLT"A$⊂` _aRh¬FT,A(¬PαP
P(≡↓#@$A ⊂ _Aλ∧0αG!D4C%0 ABp( ⊗@T-↓(¬(αOQ8∧R@@λαLT"A#0X ≠aR@α@a8αP   ⊗@T+↓'0(A⊂ %↓ (_↓(∧(αF↓$:C∧`(↓↓Bp  ⊗@T-↓(¬(αOQ0¬∩@@⊂αLT#↓α`P ≡AB α`a0αP ( ⊗@T*A'@ A⊂(%↓0(_↓(∧(αDa∀@αd (↓AB`  ⊗@T-↓(¬0αN`Q0α TPα↓Cλα⊂λ`(λα(λ(¬H@ β¬ T-↓(¬PαP
P(≡↓"P ↓↓)  α↓&( ⊃ Pp∧P⊃⊂X∂↓P0
A(¬Pα⊂0  ∃@SXαE P⊂αR@P αLT"A!0H #A!`αA a αP ( ⊗@T+↓'0(
A (%A@(_↓(∧0αB↓∀Iαc  β↓B@( ⊗@T-↓(¬(αOQ α`TXα↓ SαPλP(βα(	8¬εP0β¬D-↓(¬PαP
`(≥A"@ α↓	0 β↓ε⊂  ⊃@P ∧⊂∪0PAp0	A(¬PαP ( ∃@SXαD`@ αR`@0αLT#↓ @ '!A(αA`a_α⊂0  ⊗`T*A'@(	↓P(%A `(_↓λ∧0ε⊂∪Q
↓↓0	↓(¬PαP ( ∃@SXαD@P αS@0αLT#αH	hβ@a⊃⊂αα a⊂αP ( ⊗@T+↓'0(	↓P(&↓p(_↓(∧(∧⊂∪P@βα"(∧AB⊂( ⊗@T-Aλ¬0αOA⊂α↓@D`αA`CαPλ@@ ' pP∧C`@Pβ∧ T-↓(¬PαP
`(≥A"⊂ β↓)P βA&( ⊂@tNB↓PHεA! 0λAλ¬Xα⊂0( ∃@SXαD@8αS @@αLD αλ	hβD!⊂`αα`aαP ( ⊗@T+↓'0(λ↓p(&A p(_↓'`8 '!↓ ∧B@@`β∧D-A(¬PαP
`(≥A!p(βA)` ∧↓&(≡↓h	hβF↓⊂@αC`xαP ( ⊗`T+↓'0(π↓! '↓↓⊂ _↓' 8 '!↓X∧A`@hββ`T-↓(¬PαP
`(≥A!`0βA)`(∧↓&(≤↓h	hβGa⊂(αC `pαP0  ⊗`T+↓'0(εAA('A↓⊂(_↓εp8 '↓α⊂∧↓ @pββ@T-↓(¬Xα⊂
p(≥A↓`0βA)p ∧A&(~AH	hβIA_αβ``pα⊂0  ⊗`T+↓'0(εAA('A!⊂(_↓&00 '↓αH∧ Pxββ T-↓(¬XαP
`(≥A!@8∧↓
 ¬↓ε(_Ah	`βK↓Qββ D-A(¬PαP
p(≥↓!@@βA*(∧A&(↔Ah	X∧KAAββT-↓(¬XαP
`(≥A!0@∧↓*⊂ ¬↓& ↔↓h	X¬↓!λββT-↓(¬XαP
`(≥A! HβA*⊂(∧A&(⊗↓H	XεL!⊃λβα`T-Aλ¬XαP
p(≥↓!  A↓()↓↓ (_↓% 0 &`p_αA↓⊂βα`T-↓(¬XαP
`(≥A!⊂ A!()↓!  _↓%⊂0 &A αLa↓λβα`D-A(¬Xα⊂
p(≥A↓⊂ ↓↓ p()A↓ (_↓$p0 &@p8αM↓↓βα@T-↓(¬XαP
p(≥↓! ↓↓!()A! (_↓∧`0 &!@αM!↓βα@D-A(¬XαP
`(≥A p ↓A! *↓!⊂(_↓$@0 & pXαMAxβα T-Aλ¬XαP
p(≥↓ p α↓↓(*↓! (_↓$ 0 &↓hα∞↓pβα T-↓(¬XαP
p(≥↓ ` α↓!(*A!  _↓$⊂0 %axαN↓pβαT-A(¬XαP
`(≥A P αA p(+↓!⊂(_↓#p0 %a↓λα∞AhβαT-↓(¬XαP
p(≥↓ P αA!(+↓! (_↓β`0 %A↓_αN`phαB D-A(¬XαP
p(≥↓ @ β↓! +A!⊂(_↓#@0 %@q0αNa`αBT-Aλ¬`α⊂
p(≥A 0 βA↓(,↓!⊂(_↓#0( %!↓8αO p`αBD-A(¬XαP
p(≥↓ 0 βA!(,↓!  _↓# ( %↓↓PαO!Pβ↓`T-A(¬XαP
p(≥↓ ⊂(∧↓ p(,A!⊂(_↓#( %↓↓`α∂`pPβ↓`T-↓(¬XαP
p(≥A⊂ ∧A!(-↓!⊂(_↓αp0 $A↓pαOaHβ↓@T-A(¬XαP
p(≥α! (∧↓ 0∧↓&(
AH	λ∧λ T ↓a⊂0β↓(¬Xα⊂@( ∃`SP∧α`@@αV``@αLQ_β⊂∩⊂@⊃↓(∧λ∧α`0α⊂0( ⊗`T+A' @¬A!(.↓!⊂ _↓"0( $↓α(αPλ 8∧↓@P( ⊗`T-A(¬8αN@p`αA`UhαBSαD TGB¬  ⊂a8β↓ D-A(¬`α⊂(≥↓A@(∧↓+` ∧A& λ↓(λp∧J T"↓`p0α↓(¬XαP0( ∃`SPββ P@αW@P@αLPpβ⊂⊃P@⊗↓(∧ ∧↓@` αP0  ↔T+A' (π↓↓(/A!(_↓!P( #↓αpαPλ`8β↓@0( ⊗`T-A(¬@αN @xαBUxαB CαCTEBε⊂( ⊃A(β`T-A(¬XαP
p(≤Aα(∧↓(∧↓&(¬↓(λP∧L`D$↓`P0↓Aλ¬XαP@  ⊗S@α∧P@αX @HαL@PαP⊃H~A(∧@∧↓`⊂αP0( ⊗`T,↓&p λA!(0A!(_↓!( "↓β@αP	⊂8α↓@   ↔D.↓(¬8αM@Q⊂ααV⊂αBSα↓`TCBπ ( ∩A_α@@T-A(¬XαP(~Aα0(∧↓, (∧Aε(β↓(λ(∧∂ T%A`0(↓↓(¬Xα⊂@( ⊗S α¬P@α_`P@αLP αP⊂@H∨Aλ∧`β@`PλαP0( ↔T+A&@ 
↓!(2↓↓⊂(↔A 0(  a∀ A(∧hβ@ `λαP0( ⊗`T,↓& (
A!(2↓!(_↓  (  !∀"↓(∧hβ@ `λα⊂0( ↔T,λα` A↓(2A!(_↓⊂(  ↓∀#↓(∧p	P0( ↔D)KAP A!(2A!⊂ _α(πx∧P	⊂( ∪b∀.↓λ¬`αP	3XβAβ(∧↓`(∧↓&@ ∨!∀&↓λ¬λP0( ↔T"⊂λ`λαFP@αY`P@αK`t>α(∧pαP
⊃ ⊗`T-A'qhFC (∧↓,p(∧↓&0 ≡A∀(A(¬λπP0( ↔SHα⊃XααV@αBSα⊂∂P ∀`T)CH¬XαP@(~¬'⊂X
A!(4A↓⊂ ↔A(π0¬⊂
`( ∀aT.↓λ¬`αLα4"↓#P(∧↓
⊂(∧↓%`  ≥!$,Aλ¬ εP0( ↔R`λP	  ∞A!(5↓!(⊗↓(π⊂¬P0( ∃!4.↓(¬`α
α∧'↓#`(∧↓- (∧↓%@  ≤!D.Aλ¬0¬P0( ↔R πP
  ⊂↓↓(5A!(∃↓(εxπP@( ∃a$-A(¬`αH↓d+↓∧(∧↓-@ ∧A¬   ≠!0_αP@( ∃a∀.↓λ¬`αG!d,↓$⊂(∧↓-@(∧↓%( ~A00αP@( ⊗↓∀-A(¬`αF!T.↓∧ (∧↓-P(∧↓$p  ~!0HαP@( ⊗ t.↓(¬`αE!T/A∧0(∧↓-P(∧↓$`( →A@`α⊂P  ⊗@t-A(¬`αDaD0A$@ ∧A
`(∧↓$P  →↓@xαP@( ⊗A∧-↓(¬`αCaD2↓∧P(∧↓-p ∧A∧@( _!A_αP@( ⊗`t-↓λ¬hαβ↓D3↓$`(∧↓-p(∧↓$0  ↔aQ(αP@( ↔t,A(¬`αB!44A∧p(∧↓.(∧↓$   ↔↓QHαP@( ⊗a∀,↓(¬`αAA45↓%(∧↓.(∧↓$⊂( ⊗↓ahαP@  ↔↓∀+A(¬`α@a46A¬  ∧A∞⊂(∧↓$  ∃AbαP@( ↔↓∀+A(¬`πP
p(∃↓!(9↓! ⊂↓λ¬⊂πIT.↓(¬X¬P
`  ↔!D8A¬@(∧↓. (∧↓#`( ∪Bα@α⊂@( ↔↓4*A(¬X¬P∞ (⊗↓!(9A!(∞Aλ∧PλKT.↓(¬XεP
@  ⊗!$:A¬`(∧↓.@ ∧↓#P( ⊃α3αP@  ↔↓T)A(¬0¬⊂∞`(↔A↓⊂ :↓!(
Bg⊃(~↓(¬`αP0p ∀`T)BHπ@αP@α] P@αεb∩`∞ T.↓(¬XπP
⊂( ∀!∀=↓F(∧↓.P(∧↓#!PG'p( ⊗`T.βh¬λαP	`H ∨rxαBW0αBQ@α@(∧0 ⊃T.↓(¬XλP
  ∪↓∀>Bε(∧↓.p ∧↓# βNh∧XαP@  ↔α∀'A(∧H∧P∂pH_↓↓⊂(;A!(A↓Rp ∀`D.↓(¬X	P	`( ⊃A∀@↓ ⊂ _↓!(<↓! Aαb ⊗T.↓(¬X¬@ t&A(∧ ∧P⊂⊂(↓↓&(∧↓/(∧↓"P(→↓(¬@αP0( ⊗`Pλβ t&A(∧λ∧P⊂0(↓A%p(∧A∂⊂(∧↓"@ ~↓(¬8αP@( ⊗`Pλα@`t&↓πpH !P αLP@α↑@@@αEC αP( ↔D.↓ (↓Ah∧XαO!∧BA `(_↓↓⊂(=↓!(	AεP( ⊗T-A(¬Xα@@P_∧⊂	 (≥αλλ8αA`CαBWXαBA⊂αM@T+A(¬`α⊂@ ↓↓@@8 ∩ S@∧⊂⊃(∧↓&(∧↓/0(∧↓"⊂ ≠A(¬@αP0( ⊗`P⊂β↓↓∧$↓&PH "PPαPHα∨P@αDC@αP  ↔T-A  0αAh∧@αa∀E↓! (_↓!(>A↓(λ↓π⊂( ∃`T-A(¬Xα@``(∧⊂λ`(_BλλXαCSαα WhαBPxα∞ T,↓(¬XαP0(↓A@`8 ⊃@Rp∧⊂⊃@(εA&(∧↓/`(∧↓↓`(≥↓(¬8αP@  ↔@ β↓A∧"↓%@@ # `pαLP@α←@P@αC cPαP
p( ⊗`T-A @0βAh∧ αJ!∀G↓" _↓!⊂ ?A!(ε↓G ( ⊗D.↓(¬Xα↓ `8∧⊂λ0 ∀αλλxαD SαBXαA`P`βN@T+A(¬XαP0(αAA8 ⊂@R(∧⊂∩(	A& ∧A0(∧↓!0@≥↓(¬8αP0( ⊗`P(βα↓∧ A$ @ $ a_αLP@β  P@ααaβPαP
p( ↔D-A `0∧Ah∧αH!∧HABP(_↓!0A↓↓(¬α' ( ∃`T-A(¬XαA@`H∧∂`Qp∧⊂∩ 0Aε(∧A0 (∧↓!⊂ Aπ0( ∃`T-A(¬Xα↓``PβO`A`∧⊂∩@(↓&(∧A00(βA!(A' ( ∃`T-A(¬XαA``P∧∂ QP∧⊂∩@(
↓& ¬↓00(∧↓ p ↓A' ( ∃`T-A(¬XααP`βO Q8∧⊂∩P(
A&(∧A0@(∧↓p ↓A'0( ∃`D.↓λ¬XαBP`∧∞`Q0βP∩`0∞↓&(∧A0P ∧↓ ` α↓' ( ∃`T-A(¬XαBPhβN`Q_∧⊂∩`0∂↓ε(¬↓0P(∧↓ P αA' ( ∃`T-A(¬PαB`h∧∞@Aλ∧⊂∩p0∂A&(∧A0`(βA P αA'0( ∃@T-A(¬XαB`p∧∞Px∧⊂∩p0⊂A& ¬↓0`(∧↓ @ β↓' ( ∃`T-A(¬Xαα `p∧∞@h∧⊂∪0⊃↓&(¬↓0p(∧↓@ βA' ( ∃`T-Aλ¬XαB `x∧
@PXβP∪⊂0∩↓&(∧A1 ∧↓ 0 βA'0( ∃@T-A(¬Xαα@a∧
 P@∧⊂∪⊂0∪↓ε(¬↓1(∧↓   ∧↓' ( ∃`T-A(¬PαB@a∧
P8βP∪ 0∪A&(¬↓⊃⊂(βA   ∧Aπ0( ∃`D-A(¬XαB@aλ∧`P ∧⊂∪ 0∀A& ¬↓1⊂(∧↓ ⊂ ∧A'0( ∃@T-A(¬PαB`a⊂∧@@_βP∪00∃↓&(¬↓⊃ (∧↓⊂ ¬↓' ( ∃`T-Aλ¬XαB`aλ∧L!TMAE@(_↓!⊂(EA pH¬↓'0( ∃@T-A(¬Xαβaλ¬↓$MAe` _↓!  EA!@¬A'0( ∃@T-Aλ¬XαCaεA∀MAep(_↓!⊂(F↓ p@ε↓' ( ∃`T-↓(¬Xαβ aεKtN↓f⊂(_↓↓  FA↓8ε↓'0( ∃@T-A(¬PαC `xα@!αH∧⊂∪@0→A&(∧A1P(∧↓AP(≥A(¬0αP ( ⊗`Phββ`@_∧	@tNAFP(_↓!⊂ G↓ p0π↓π0( ∃`D-A(¬PαC@`pα↓!α⊂∧⊂∪@8≠Aε(∧A⊃`(∧↓AP(≥A(¬0αP0  ⊗`Ppββ P(∧G`tNAg(_↓!(GA p0π↓'0( ∃@T-↓(¬Xαβ``hα↓a⊃X∧⊂∪P8≥↓& ∧A∩ ∧↓!`(≥A(¬0αP0( ⊗@PxββP@∧FtNAg@(_↓! H↓ p(πA'0( ∃@T-↓(¬Xα∧``ααA⊃ ∧⊂∪P8∨↓&(βA2⊂(βAα(≥A(¬0αP ( ⊗@Qβα`@`∧D tNBλ∧αP@α$ P8α∧SXαP
`( ⊗`D-A"0¬↓!PHεBλ	hβPλ (_↓ p I↓ ` λA'0( ∃@T-↓(¬PαD `Pαβa⊂PβP∪P@ ⊃Sα↓`Y_α↓@A⊂α∂T+↓λ¬XαP (λAA⊂(λα `@ '!∧"A&(βA∩0(αAα (≥A(¬0αP ( ⊗`A⊂βα A⊂∧@`tNBH∧0αLP0α%P αD@SXαP
`( ⊗@T-↓" 0∧↓αA '!D#↓ε(β↓2@(αAα (≡↓(¬(αP0  ⊗`A_β↓`Q(ε⊂∪P@↓↓λ∧0αLP0α% P α∧`SXαP
`( ⊗@T-↓"00βAαpP &a αPλ` _A` K↓@ 
↓'0( ∃@T-↓(¬PαD``0αF↓$KB `( ⊃ SαA I0α@`A αOT*A(¬PαP (
↓@` 
αh	⊂∧BT#↓&(α↓∩p(↓↓αP(≥A(¬0αP ( ⊗@Q β↓ Q`¬⊂⊃`H¬A(∧(αLP αe`P⊂αE SXαP
`  ⊗`D-AαP0αAβ`X "!⊂pαPλP(_↓ @ L↓   
A'@( ∃ T-↓(¬PαE ` αλ↓4BB"( ⊃@Cλα↓IHα@ A0αN`T+↓(¬PαP  ↓@0(⊃αhλ∧D`T"A&(↓A∪⊂(Aαp ≡↓(¬(αP ( ⊗@Q0β`B ε⊂∂ P↓λ∧0αLP⊂α&A!0αOT*A(¬PαP (↓@ (∪βλπ(¬εT"A&(↓↓∪0 Aαp(≥A(¬0αP   ⊗@Q8β@B@εP
pX
A(∧(αLPλα&a⊃8αOT*A(¬PαP (A@⊂ ∃C(εHεπ T#↓ε⊂ A3@@↓'@( ∃ T-↓(¬Pαε↓2hεP0`⊂A(∧(αLPλα'↓⊃@αN`T+↓λ¬PαP (αFp ↔↓R αPλP(_α3P@↓'@( ∃ T-↓(¬Pαε!#⊂πP
@p∪A(∧(αL↓→pβF S`αP
P( ⊗@D-↓#⊂H~∧(∧`πJ`T"A&@O↓c  ≡↓(¬(αP ( ⊗@QPβMαd!D¬p  ⊃@Cλβg`qHαOT*A(¬Pα⊂ (
Af@ ↓Dg⊃⊂→↓(∧(αLyxβF@S`αP
P( ⊗ T-↓# 8~↓ a0∃E&p( ⊃ Sβ(aPαOT*A(¬PαP  B&@ ¬εc⊃P≥A(∧(αLjλβε@S`αP
P( ⊗ T-↓"``→A!d"Pλ( ⊃ Sαh aXαOT*Aλ¬PαP  
A`⊂0→Aα3X ⊃@T"Aε⊂ Q↓#0(≡↓(¬(αP   ⊗@Q_β@`c⊂αF%d&↓(∧(αK`Z⊂βε`S`αP
P( ⊗ T-↓"8β↓F  ⊃ε``( ∪T"A%` QA#@(≡↓(¬ αP ( ⊗ PxβBcλαPλ ( ∪ D"A%` R↓#0(≡↓(¬(αP⊂( ⊗@P`∧α@sαPλ ( ∪T"A%P R↓#@(≡↓(¬(αP⊂( ⊗@@XβC rxαPλ0( ∪T"A¬P RA#@ ≡A(¬ αP   ⊗@P@∧β`rxαPλ 0 ∩`T"A%@ RA#@(≡↓(¬(αP⊂( ⊗@@8βD`bxα⊂λ0( ∪T"A%0 S↓#@(≡↓(¬(α⊂ ( ⊗ P ∧¬ bpαPλ0( ∪T"↓%0 S↓C0(≡A(¬ αP⊂( ⊗@P⊂βFbpα⊂λ@( ∩`T"A%  SA#@(≡↓(¬(αP⊂( ⊗ PλβF@bhαPλ0( ∪T"A¬  SAC@(≡↓(¬ αP   ⊗A!hβKD"↓(∧`α⊂λP(∀A∃(∞↓'P( ∃T,A(¬P∧π`rXαPλ@( ∩`T"A$p(T↓C@(≡↓(¬(α⊂ ( ⊗↓αλβJ`D"↓H∧XαPλ@(∪A∃⊂0∞↓πP( ∃T,A(¬8βI bPαPλ@( ∩`T"A$` TAC@(≡A(¬ αP⊂( ∃↓α8β
@D"A(∧XαPλP ∪↓∃ 0∞↓'@( ∃T-↓λ¬_βJ@r@αPλP( ∩`T"↓$P U↓C@(≡A(¬ αP⊂( ∀↓α`βJD"A(∧XαPλP ∩A∃00∞↓'P( ∃T,A(∧pβK`r8αPλP( ∩`T"↓$0(UAc@(≡↓(¬ αP⊂( ∪↓β⊂β	`D#↓(∧Xα⊂λP(⊃↓∃@0∞↓'P( ∃T,A(∧PβM b0αPλP0 ∩@T"↓$  V↓c@(≡A(¬ α⊂   ∩↓β8βI D#↓(∧XαPλ@(⊂A∃P0∞A'@( ∃T,A(∧0βN@r αPλ`( ∩@T"A∧(W↓C@(≡A(¬ αP⊂  ⊃↓β`βID#A(∧PαPλ@(∂A∃`8∞↓'P( ∀`T,A(∧λ∧⊂λ0⊃A(∧0αP	0( ⊃Qpα+`ahα∂ T*↓(¬HαOa∧!↓d   ⊃`T%↓(∧ αG ZxβGShαP
@( ⊗Sh∧⊂λP8⊂A(∧8αP	 ( ⊃Q`α,q`αO T)A(¬HαN`t$↓d⊂  ⊃`d%↓(∧ απKλβπShαP
@( ⊗ CH∧⊂	08∂A(∧8αP	 ( ⊃QPαl q`αO T*↓λ¬HαM`t'↓cp  ∩T%↓(∧ αF K⊂βπ ShαP
0( ⊗ S ∧⊂
8∂↓(∧@αP	   ⊃Q@αl`a`αO T*↓(¬@αLA∧*↓C`  ∩T%↓(∧ αE`K_βGShαP
0( ⊗ S∧⊂
`8∞↓(∧@αP	 ( ⊃A8α-ahα∂@T)A(¬HαA∧,Ac@( ∩T$A(∧ αE [(βπShαP
@( ⊗RX∧⊂@8
A(∧@β⊂	⊂( ⊃Q α-@QhαO T)A(¬HαJ!∧/Ac ( ∩T%↓(∧_αD`[0βπSpαP
0( ⊗R8∧⊂ 8
↓λ∧HαP	⊂( ⊃Q⊂α-`a`αO T*↓λ¬HαI↓∧2Bβ( ∩ T$A(∧ α∧ [@αG ShαP
0( ⊗ B_∧⊂
8↓λ∧HαP	   ⊃Qα. Q`αO@T)A(¬@αH↓∧5Abp( ∩ T$A(∧ αC@[PαGShαP
0( ⊗ Qh∧⊂
p8↓λ∧PαP	⊂( ⊂`Phαn@a`αO T)A(¬@αG↓∧8AbP( ∩ d$↓(∧ αC[Xβε`SpαP
0( ⊗QH∧⊂∞@@
↓λ∧PαP	⊂( ⊃@XαoaXαO T)A(¬Hα¬a∧<↓b0( ∩@T$A(∧_αB@Khβε`CpαP
0( ⊗Q ∧P∂ @	↓λ∧XαP	( ⊃P@αo@aPαO@T)Aλ¬HαDA∧?↓b⊂( ∩@T$A(∧_αA`[xβε@ShαP
0( ⊗Q∧⊂⊂⊂@λ↓λ∧XαP	⊂  ⊃P0αpaHαO@T)A(¬@αC!∧BAap( ∩`T$↓(∧ α↓ \λβε SpαP
 ( ⊗ @X∧P⊂p@π↓λ∧Xβ⊂	( ⊂`P_αp@aHαO T)A(¬@αB↓∀EAaP( ∩`T$↓(∧ α@ l_βεSpαP
0( ⊗P0∧⊂⊃`@ε↓λ∧`αP	( ⊂`Pλαqa@αO@T)↓(¬@αA↓∧I↓a0( ∪T$↓(∧_∧q q8α∂@T)A(¬@α@!∧JB↓   ∪T$↓(∧ βq@q0αO@T)Aλ¬Hε⊂∪8∧A(∧`αP	( ⊂`|8βE@SpαP
 ( ⊗↓$MB↓  ∪ T$↓λ∧_β2 a(αO@T)A(¬0∧P∪p@β↓(∧`β⊂λp( ⊂ lPβ¬ SpαP
 ( ∃↓∀Qα`  ∪ T$↓'p0eAb@(∨↓(¬⊂αP
⊂H )A αP	P( ⊃`Spβ3q_αO@T)A(∧p∧P∃ @↓Aλ∧pαPλp(≡↓YP8	A'`( ∀@T&α(
h∧@ T&A(∧@αN@lxβD@SpαP
 ( ∩!∀XB⊂  ∪@T#A'⊂0h↓b⊂(∨↓(¬_α⊂λpH -!D'↓(∧8αM`mλβD SpαP
 ( ⊃↓∀\BH∧pβ⊂λp ≠↓Z08λ↓πp( ∀@T B(`¬⊂	`( ⊃`S β5pxαO@T)↓'`P 0↓∀'↓(∧8αL ⎇(∧β@SpαP
 (≥BH ∧P	P( ⊃@Sβua`αO`T)↓'P 2↓∧&↓(∧8αK@⎇@∧βSpαP
 (≠αH`∧⊂	0( ⊃`R`β6AXαO@T)↓& P 4!∧%↓(∧0αJ@⎇`∧α SxαP
  _αH
 ¬⊂λp0 ⊃@R@βw!HαO@T)↓%PP 6↓$#↓(∧8α	`⎇x∧αCxαP
 (∀Bh
`¬⊂λP( ⊃@R βx!0αO`T(A$pP 8!$"↓(∧0αH@}⊂∧A SpαP
 (⊃Bh∞0∧Pλ ( ⊃@R∧9↓⊂_αO`T)↓∧` :A∀ A(∧0αG!∞0∧@@SxαP
⊂(∞Bh∞x¬∂`T#↓#0@tα ⊂(∨↓(¬⊂αF!DyBGP0 ⊃ QH∧:ASxαP
⊂(βλ∂@¬N`T#↓"`@vβπp( ∀ Q⊂ε⊂∨PX≥↓(∧0α¬↓≡p¬O@T)↓!`h @  X≤↓(∧(αDA∧( )a#pαP
⊂(¬C(⊂λβCεP( ⊃@Px∧⊃(
H¬OT(A ph @!PX~↓(∧(αC↓∀( *aCHαP
  αβ(⊂λ	βε ( ⊃ PH¬⊃(
p¬NT(DH⊂λβ¬p0 ⊃ P0¬⊃(ε
@T(CH⊂λ∂β¬P( ⊃ P_¬Q(_ε`T&Ch⊂λ⊃CE ( ⊃!t( -ASαP	↓ @%⊂p∀↓(∧(ε⊃(@π@T!D(⊂λ↔Cd@( ⊂aD( .arPαOb∀λMBαλαOAT( /Bα8αN"$λOB↓pαNAd( 0B∩_αLb4λQ"!Hβ
!t( 1"1pαK"TλS"1(αLα∀( 2"QHαIBtλU"QαJB$( 3#↓_αG#$λWCPαHBd( 4C`@αD$∀λZβ@λαFβD( 5h¬⊂ @.4&⊃(
h ⊃H⊂λ?Pλ∀( 9εtλcF4( ;d∧λhd∧ |¬Tα→K¬HP↓ ↑@↓ ↑␈␈␈xi@_3␈␈␈xi@_X=@@λHα@∧?0α@q↓4Pf@α8} (*⊂-xow{⎇x